翻訳と辞書 Words near each other ・ Second-language attrition ・ Second-language phonology ・ Second-level domain ・ Second-order ・ Second-order arithmetic ・ Second-order cellular automaton ・ Second-order co-occurrence pointwise mutual information ・ Second-order conditioning ・ Second-order cone programming ・ Second-order cybernetics ・ Second-order election ・ Second-order fluid ・ Second-order intercept point ・ Second-order logic ・ Second-order predicate ・ Second-order propositional logic ・ Second-order simulacra ・ Second-order stimulus ・ Second-person narrative ・ Second-rate ・ Second-term curse ・ Second-tier Mexican sugar ・ Second-tier sourcing ・ Second-wave feminism ・ Seconda B ・ Seconda Categoria ・ Seconda pratica ・ Seconda Università degli Studi di Napoli ・ Secondaries ・ Secondary Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Second-order propositional logic ： ウィキペディア英語版 Second-order propositional logic A second-order propositional logic is a propositional logic extended with quantification over propositions. A special case are the logics that allow second-order Boolean propositions, where quantifiers may range either just over the Boolean truth values, or over the Boolean-valued truth functions. The most widely known formalism is the intuitionistic logic with impredicative quantification, system F. Parigot (1997) showed how this calculus can be extended to admit classical logic. ==See also== *Boolean satisfiability problem *Second-order arithmetic *Second-order logic *Type theory 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Second-order propositional logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.